automatic program verification
自动程式验证
热门查询
- photoelectric adj. [电子] 光电的
- vaunted adj. 自夸的；大肆吹嘘的 v. 夸耀；吹牛（vaunt的过去分词）
- antler n. 鹿角，茸角；多叉鹿角 n. (Antler)人名；(法)安特莱；(英)安特勒
- scallop n. 扇贝，干贝 vt. 使成扇形 vi. 拾扇贝
- screening n. 筛选；放映；[物] 屏蔽；审查；防波 adj. 筛选的 v. 筛选；拍摄（screen的ing形式）；遮蔽；隔挡
- distal adj. [解剖] 末梢的，末端的
- curbing n. 边石的材料；边石
- VCR abbr. 可变压缩比（Variable Compression Ratio）；录像机（Video Cassette Recorder）
- corn n. （美）玉米；（英）谷物；[皮肤] 鸡眼 vt. 腌；使成颗粒 n. (Corn)人名；(英、法、瑞典)科恩
- undivided adj. 专心的；专一的；未分开的；完整的 v. 未分开（undivide的过去式和过去分词）
- Bachman [计] 巴赫曼; [人名] 巴克曼
- symptomless adj. 无症状的
- ironmonger n. 五金商；金属器具商
- footprint n. 足迹；脚印
- linguini n. 扁面条（意大利食物）
- bray n. 驴叫声；喇叭声 vt. 叫 vi. 叫；捣碎 n. (Bray)人名；(意)布拉伊；(英、法、西、葡)布雷
- crackling n. 猪油渣；脆皮；连续的爆裂声 v. 发爆裂声；龟裂；充满活力（crackle的ing形式）
- mask n. 面具；口罩；掩饰 vi. 掩饰；戴面具；化装 vt. 掩饰；戴面具；使模糊
- Haworth 霍沃思(①姓氏 ②Sir Walter Norman, 1883-1950, 英国化学家, 曾获1937年诺贝尔化学奖)
- behest n. 命令；邀请；请求
